Merge branch 'building-docs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 15 Nov 2019 13:05:39 +0000 (13:05 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 15 Nov 2019 13:05:39 +0000 (13:05 +0000)
commit767df50edadb8dd42d62d22a96ce630cb2bb1410
treefb63ca2526107590e639024343f93e83b666617a
parentbaae2920dc6a6056e7e236080a927aa846073f96
parentace2208f45875edc161a5a7dc8eca0f01f10324b
Merge branch 'building-docs' into 'master'

Document the use of build types when configuing GTK

See merge request GNOME/gtk!1113